x86/mm: make free_perdomain_mappings() idempotent
authorWei Liu <wei.liu2@citrix.com>
Tue, 25 Apr 2017 12:00:17 +0000 (13:00 +0100)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Tue, 30 May 2017 17:50:13 +0000 (18:50 +0100)
commitebcba577682691dd82b82e46489316e3ca8ecdf3
tree77558b04cd900f0aa8b47376d7b496fa79f95653
parent624dc330171a27f21b9664da7fc8b06bcc29be48
x86/mm: make free_perdomain_mappings() idempotent

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: George Dunlap <george.dunlap@eu.citrix.com>
xen/arch/x86/mm.c